Client-server sessions in linear logic

We introduce coexponentials, a new set of modalities for Classical Linear Logic. As duals to exponentials, the coexponentials codify distributed form structural rules weakening and contraction. This makes them suitable logical device encapsulating pattern server receiving requests from an arbitrary number clients on single channel. Guided by this intuition we formulate system session types based Logic with which is suited modelling client-server interactions. also present session-typed functional programming language programming, translate our coexponentials.